Computable operators on regular sets

نویسنده

  • Martin Ziegler
چکیده

For regular sets in Euclidean space, previous work has identified twelve ‘basic’ computability notions to (pairs of) which many previous notions considered in literature were shown to be equivalent. With respect to those basic notions we now investigate on the computability of natural operations on regular sets: union, intersection, complement, convex hull, image, and pre-image under suitable classes of functions. It turns out that only few of these notions are suitable in the sense of rendering all those operations uniformly computable.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Closed Sets and Operators thereon: Representations, Computability and Complexity

The TTE approach to Computable Analysis is the study of so-called representations (encodings for continuous objects such as reals, functions, and sets) with respect to the notions of computability they induce. A rich variety of such representations had been devised over the past decades, particularly regarding closed subsets of Euclidean space plus subclasses thereof (like compact subsets). In ...

متن کامل

A NOVEL TRIANGULAR INTERVAL TYPE-2 INTUITIONISTIC FUZZY SETS AND THEIR AGGREGATION OPERATORS

The objective of this work is to present a triangular interval type-2 (TIT2) intuitionistic fuzzy sets and their corresponding aggregation operators, namely, TIT2 intuitionistic fuzzy weighted averaging, TIT2 intuitionistic fuzzy ordered weighted averaging and TIT2 intuitionistic fuzzy hybrid averaging based on Frank norm operation laws. Furthermore, based on these operators, an approach to mul...

متن کامل

Partially continuous pretopological and topological operators for intuitionistic fuzzy sets

In this paper, pretopological and topological operators are introduced based on partially continuous linear transformations of the membership and non-membership functions for intuitionistic fuzzy sets. They turn out to be a generalization of the topological operators for intuitionistic fuzzy sets.On the other hand it is a generalization of the fuzzy set pretopological operators introduced...

متن کامل

On the Diagram of One Type Modal Operators on Intuitionistic fuzzy sets: Last expanding with $Z_{alpha ,beta }^{omega ,theta

Intuitionistic Fuzzy Modal Operator was defined by Atanassov in cite{at3}in 1999. In 2001, cite{at4}, he introduced the generalization of thesemodal operators. After this study, in 2004, Dencheva cite{dencheva} definedsecond extension of these operators. In 2006, the third extension of thesewas defined in cite{at6} by Atanassov. In 2007,cite{gc1}, the authorintroduced a new operator over Intuit...

متن کامل

Symbolic Solving of Extended Regular Expression Inequalities Technical Report

This paper presents a new solution to the containment problem for extended regular expressions that extends basic regular expressions with intersection and complement operators and consider regular expressions on infinite alphabets based on potentially infinite character sets. Standard approaches deciding the containment do not take extended operators or character sets into account. The algorit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Math. Log. Q.

دوره 50  شماره 

صفحات  -

تاریخ انتشار 2004